-
1 strongly categorical
Большой англо-русский и русско-английский словарь > strongly categorical
-
2 strongly categorical
Математика: строго категоричный -
3 strongly categorical
мат.English-Russian scientific dictionary > strongly categorical
-
4 categorical
категорический, категоричныйcategorical in power — лог. категоричный в мощности
law of categorical syllogism — лог. закон категориального силлогизма
-
5 строго категоричный
strongly categorical мат.Русско-английский научно-технический словарь Масловского > строго категоричный
-
6 строго категоричный
Большой англо-русский и русско-английский словарь > строго категоричный
-
7 строго категоричный
Mathematics: strongly categoricalУниверсальный русско-английский словарь > строго категоричный
-
8 entschieden
I P.P. entscheidenII Adj.2. (nachdrücklich) emphatic, decided, uncompromising, categorical; (brüsk) peremptory; (respekteinflößend) authoritative3. (ausgesprochen) attr. decided, out-and-out; (unbestreitbar) unquestionable; ein entschiedener Gegner von a declared opponent ( oder enemy) ofIII Adv.1. (fest) firmly, resolutely; (nachdrücklich) emphatically; (brüsk) peremptorily; ( ganz) entschieden oder auf das Entschiedenste ablehnen flatly refuse, refuse outright, turn s.th. down flat; etw. ganz entschieden bestreiten / zurückweisen strongly ( oder vigorously) dispute s.th. / categorically ( oder flatly) reject s.th., reject s.th. outright; sich entschieden aussprechen für / gegen come out strongly in favo(u)r of / against2. (zweifellos) definitely, without (a) doubt, decidedly, distinctly meist iro.; entschieden zu wenig etc. auch far too little etc.* * *resolute; decided; peremptory; decisive* * *ent|schieden [ɛnt'ʃiːdn]1. ptpSee:von entscheiden2. adj2) no pred (= eindeutig) decided, distincter ist ein entschíédener Könner in seinem Fach — he is unquestionably an expert in his subject
3. advdas geht entschíéden zu weit — that's definitely going too far
2) (= eindeutig) definitely* * ** * *ent·schie·den[ɛntˈʃi:dn̩]II. adj1. (entschlossen) determined, resoluteein \entschiedener Befürworter a staunch supporterein \entschiedener Gegner a resolute opponent2. (eindeutig) definiteIII. adv1. (entschlossen) firmly, resolutelyden Vorschlag lehne ich ganz \entschieden ab I categorically reject the proposal2. (eindeutig) definitelydiesmal bist du \entschieden zu weit gegangen this time you've definitely gone too far* * *1.1) (entschlossen) determined; resolute2) (eindeutig) definite2.adverbial resolutelyetwas entschieden/auf das entschiedenste ablehnen — reject something emphatically or categorically
* * *B. adj2. (nachdrücklich) emphatic, decided, uncompromising, categorical; (brüsk) peremptory; (Respekt einflößend) authoritativeein entschiedener Gegner von a declared opponent ( oder enemy) ofC. advauf das Entschiedenste ablehnen flatly refuse, refuse outright, turn sth down flat;etwas ganz entschieden bestreiten/zurückweisen strongly ( oder vigorously) dispute sth/categorically ( oder flatly) reject sth, reject sth outright;sich entschieden aussprechen für/gegen come out strongly in favo(u)r of/against* * *1.1) (entschlossen) determined; resolute2) (eindeutig) definite2.adverbial resolutelyetwas entschieden/auf das entschiedenste ablehnen — reject something emphatically or categorically
* * *adj.peremptory adj. adv.peremptorily adv.resolutely adv. -
9 set
1) набор; комплект- semiconductor assembly set - set of Belleville springs - set of conventional set - set of drawing instruments - set of gate patterns - set of gauge blocks - set of logical elements - set of statistical data - set of technical aids- snap set2) партия3) совокупность; множество4) установка; агрегат- desk telephone set - dial telephone set- gear set- local-battery telephone set - man-pack radio set - multi-operator welding set - sound-powered telephone set - wall telephone set5) регулировка; настройка || регулировать; настраивать6) группа; ансамбль7) класс; семейство9) схватывание || схватываться10) затвердевание || затвердевать11) крепление || закреплять12) геол. свита пород13) осадка (грунта) || оседать ( о грунте)14) радиоточка15) спорт сет16) включать, приводить в действие17) мат. множествоset closed under operation — множество, замкнутое относительно операции
- absolutely compact set - absolutely continuous set - absolutely convex set - absolutely irreducible set - absolutely measurable set - affinely independent set - affinely invariant set - algebraically independent set - almost finite set - almost full set - angular cluster set - asymptotically indecomposable set - at most denumerable set - centro-symmetric set - completely bounded set - completely continuous set - completely generating set - completely improper set - completely irreducible set - completely nonatomic set - completely normal set - completely ordered set - completely productive set - completely reducible set - completely separable set - constructively nonrecursive set - convexly independent set - countably infinite setto set aside — не учитывать, не принимать во внимание; откладывать
- cut set- cyclically ordered set - deductively inconsistent set - derived set - doubly well-ordered set - dual set of equations - dynamically disconnected set - effectively enumerable set - effectively generating set - effectively nonrecursive set - effectively simple set - enumeration reducible set - finely perfect set - finitely definite set - finitely measurable set- flat set- full set- fully reducible set - functionally closed set - functionally complete set - functionally open set - fundamental probability set - generalized almost periodic set- goal set- internally stable set- knot set- left directed set - left normal set - left-hand cluster set - linearly ordered set - local peak set - locally arcwise set - locally closed set - locally compact set - locally connected set - locally contractible set - locally convex set - locally finite set - locally invariant set - locally negligible set - locally null set - locally polar set - locally polyhedral set - metrically bounded set - metrically dense set - multiply ordered set - nearly analytic set - nearly closed set - nonvoid set - normally ordered set- null set- open in rays set - partitioned data set- peak set- pole set- positively homothetic set- pure set- radially open set - rationally independent set - recursively creative set - recursively indecomposable set - recursively isomorphic set - recursively productive set - regularly convex set - regularly situated sets - relatively closed set - relatively compact set - relatively dense set - relatively interpretable set - relatively open set - right normal set - right-hand cluster set- scar set- sequentially complete set - serially ordered set - set of elementary events - set of first category - set of first kind - set of first species - set of possible outcomes - set of probability null - set of second category - set of second species - shift invariant set - simply connected set - simply ordered set - simply transitive set- skew set- star set- strongly bounded set - strongly closed set - strongly compact set - strongly connected set - strongly convex set - strongly dependent set - strongly disjoint sets - strongly enumerable set - strongly independent set - strongly minimal set - strongly polar set - strongly reducible set - strongly separated set - strongly simple set - strongly stratified set- tame set- tautologically complete set - tautologically consistent set - tautologically inconsistent set- test set- thin set- tie set- time set- totally disconnected set - totally imperfect set - totally ordered set - totally primitive set - totally unimodular set - totally unordered set - truth-table reducible set - uniformly bounded set - uniformly continuous set - uniformly convergent set - uniformly integrable set - uniformly universal set - unilaterally connected set- unit set- vacuous set- void set- weakly compact set - weakly convex set - weakly n-dimensional set - weakly stratified set - weakly wandering set - well chained set - well founded set - well measurable set - well ordering set - well quasiordered set -
10 категорически
нареч. categorically;
flatly категорически возражать категорически отказатьсякатегорическ|и - categorically, flatly;
~ возражать strongly object;
~ запрещать absolutely forbid*;
~ий categorical, explicit;
~ий ответ categorical/explicit answer;
~ий отказ categorical/flat refusal;
~ое возражение unqualified objection.Большой англо-русский и русско-английский словарь > категорически
-
11 semigroup
мат.полугруппа, квазигруппа- almost unitary semigroup - completely simple semigroup - finitely convergent semigroup - finitely generated semigroup - finitely presented semigroup - fully reducible semigroup - left cancellative semigroup - left concentric semigroup - left zero semigroup - right cancellative semigroup - right concentric semigroup - right zero semigroup - self-adjoint semigroup - self-conjugate semigroup - semigroup of right translations - strongly continuous semigroup - strongly integrable semigroup - strongly measurable semigroup - strongly reversible semigroup - totally primitive semigroup - totally regular semigroup - totally simple semigroup - weakly reductive semigroup -
12 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language -
13 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- a programming language
- abstract machine language
- actor language
- agent communication language
- algebraic logic functional language
- algorithmic language
- amorhic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language
- axiomatic architecture description language
- basic combined programming language
- block-structured language
- boundary scan description language
- business-oriented language
- business-oriented programming language
- categorical abstract machine language
- categorical language
- cellular language
- combined programming language
- command language
- common business-oriented language
- common language
- compiled language
- compiler language
- computer hardware description language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-sensitive language
- concurrent language
- configuration language
- constraint language
- context-free language
- context-sensitive language
- conversational language
- coordinate language
- data definition language
- data description language
- data manipulation language
- data structure language
- database language
- database query language
- declarative language
- declarative markup language
- definitional constraint language
- definitional language
- design language
- device media control language
- digital system design language
- document style semantics and specification language
- domain-specific language
- dynamic hypertext markup language
- dynamic simulation language
- dynamically scoped language
- elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible hypertext markup language
- extensible language
- extensible markup language
- fabricated language
- fifth-generation language
- first-generation language
- formal language
- formalized language
- fourth-generation language
- frame language
- function graph language
- functional language
- functional programming language
- geometrical layout description language
- graphics language
- graph-oriented language
- hardware description language
- Hewlett-Packard graphics language
- Hewlett-Packard printer control language
- high-level language
- high-order language
- host language
- hypersymbol language
- hypertext markup language plus
- hypertext markup language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language
- interactive set language
- intermediate language
- interpreted language
- Java interface definition language
- Java language
- Java programming language
- job control language
- Jules' own version of the international algorithmic language
- knowledge query and manipulation language
- left-associative language
- lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language
- man-machine language
- mathematical markup language
- matrix-based programming language
- meta language
- mnemonic language
- musical language
- my favorite toy language
- native language
- native-mode language
- natural language
- network control language
- network description language
- noninteractive language
- nonprocedural language
- object language
- object-oriented language
- page description language
- parallel object-oriented language
- partial differential equation language
- pattern-matching language
- physical language
- picture query language
- polymorphic language
- portable language
- portable standard language
- practical extraction and report language
- prescriptive language
- print control language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robotic control language
- robot-level language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language
- second-generation language
- sense language
- server-parsed hypertext markup language
- set language
- sign language
- simulation language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification and assertion language
- specification language
- stack-based language
- standard generalized markup language
- statically scoped language
- stratified language
- stream language
- string-handling language
- string-oriented symbolic language
- string-processing language
- strongly-typed language
- structural design language
- structured query language
- subset language
- symbolic language
- symbolic layout description language
- synchronized multimedia integration language
- target language
- thing language
- third-generation language
- threaded language
- tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language
- very-high-speed integrated circuit hardware description language
- Vienna definition language
- virtual reality modeling language
- visual language
- well-structured programming language
- wireless markup languageThe New English-Russian Dictionary of Radio-electronics > language
-
14 class
1) класс; разряд; категория || классифицировать2) качество; сорт3) класс, группа ( в учебном заведении)4) курс лекций, курс обучения• -
15 ideal
1) идеал, предел совершенства || идеальный2) матем. идеал3) мысленный, нереальный, воображаемый•- absolutely unramified ideal - completely simple ideal - disjunctive ideal - invertible ideal - strongly primary ideal - strongly ramified ideal - zero ideal -
16 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system -
17 protest
1. n(against, about, at, over) протест; демонстрация протеста (против, по поводу)to abandon one's protest — отказываться от своего протеста
to bring protests from smb — вызвать протесты с чьей-л. стороны
to cause a storm of protests from smb — вызывать бурю протестов с чьей-л. стороны
to deliver a sharp protest — передавать / вручать ноту / послание с выражением резкого протеста
to draw protests from smb — вызывать протесты с чьей-л. стороны
to incite anti-government protests — подстрекать к демонстрации протеста против политики правительства
to instigate (a) protest — подстрекать к протесту / к демонстрации протеста
to lodge a protest with smb — заявлять протест кому-л.
to make a formal protest (to smb) — заявлять официальный протест (кому-л.)
to mount / to orchestrate / to organize a protest — организовывать демонстрацию протеста
to prompt protest from smb — вызывать протесты с чьей-л. стороны
to quell a protest — подавлять протест / демонстрации протеста
to resign in protest (at smth) — уходить в отставку в знак протеста (против чего-л.)
to step up one's protests — усиливать протест
to take the steam out of smb's protests — ослаблять чей-л. протест, устранив главную причину
- angry protestto walk out in protest (against smth) — покидать заседание в знак протеста (против чего-л.)
- anti-government protest
- anti-nuclear protest
- as protest against smth
- as protest at smth
- as protest over smth
- big protest
- black protest
- categorical protest
- day of national protest
- daylong protest
- diplomatic protest
- disciplined and orderly protests
- disruptive protest
- emotionally charged protest
- energetic protest
- eruption of protests
- ethnic protest
- extraparliamentary protests
- formal protest
- freedom protest
- in protest against smth
- in protest at smth
- in protest over smth
- international protests
- legitimate protest
- mass protest
- massive protest
- mounting protest
- muted protest
- nationalist protest - orchestrated protest
- peaceful protest
- pro-democracy protest
- protest continues unabated
- protest has engulfed a large area
- protest has erupted into violence
- protests were politically motivated
- public protest
- renewed protests
- repression of protests
- resolute protest
- resurgence of mass protest
- scattered protests
- silent protest
- sit-down protest
- sit-in protest
- sizable protest
- spontaneous gesture of protest
- spontaneous protest
- stiff protest
- storm of protests
- street protest
- strong protest
- student protest
- suicide protest
- vigorous protest
- violent protest
- wave of protests
- widespread protests 2. v(to smb about / against / at / over smth; амер. protest smth) возражать, заявлять (кому-л.) протест, протестовать (по поводу чего-л.)
См. также в других словарях:
Strongly minimal theory — In model theory a branch of mathematical logic a minimal structure is an infinite one sorted structure such that every subset of its domain that is definable with parameters is either finite or cofinite. A strongly minimal theory is a complete… … Wikipedia
Strongly ribbon category — A strongly ribbon category is a ribbon category mathbb{C} equipped with a dagger structure such that the functor dagger : mathbb{C}^{op} ightarrow mathbb{C} coherently preserves the ribbon structure.References*S. Abramsky and B. Coecke,… … Wikipedia
Immanuel Kant — Kant redirects here. For other uses, see Kant (disambiguation). See also: Kant (surname) Immanuel Kant Immanuel Kant Full name Immanuel Kant Born 22 April 1724 … Wikipedia
ethics — /eth iks/, n.pl. 1. (used with a sing. or pl. v.) a system of moral principles: the ethics of a culture. 2. the rules of conduct recognized in respect to a particular class of human actions or a particular group, culture, etc.: medical ethics;… … Universalium
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Germany — /jerr meuh nee/, n. a republic in central Europe: after World War II divided into four zones, British, French, U.S., and Soviet, and in 1949 into East Germany and West Germany; East and West Germany were reunited in 1990. 84,068,216; 137,852 sq.… … Universalium
Falsifiability — Are all swans white? Falsifiability or refutability of an assertion, hypothesis or theory is the logical possibility that it can be contradicted by an observation or the outcome of a physical experiment. That something is falsifiable does not… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Boethius: from antiquity to the Middle Ages — John Marenbon Boethius is a difficult figure to place in the history of philosophy. Considered just in himself, he clearly belongs to the world of late antiquity. Born in 480, at a time when Italy was ruled by the Ostrogoths under their king,… … History of philosophy
Hrushovski construction — In model theory, a branch of mathematical logic, the Hrushovski construction generalizes the Fraisse limit by working with a notion of strong substructure leq rather than subseteq. It can be thought of as a kind of model theoretic forcing , where … Wikipedia
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
